Models of computation - PDFSEARCH.IO - Document Search Engine

Models of computation
Results: 1716

#	Item
291	Inferring Synchronization under Limited Observability Martin Vechev, Eran Yahav, and Greta Yorsh IBM T.J. Watson Research Center Abstract. This paper addresses the problem of automatically inferring synchronization for c Add to Reading List Source URL: www.cs.technion.ac.il Language: English - Date: 2009-03-28 14:04:36 Automata theory Transition Observability Models of computation
292	From a Calculus to an Execution Environment for Stream Processing Robert Soul´e Martin Hirzel Add to Reading List Source URL: www.inf.usi.ch Language: English - Date: 2013-11-23 22:50:11 Models of computation Programming language implementation Data types Compiler construction Abstract data types Compiler optimization Stream processing Sawzall Increment and decrement operators Software engineering Computing Computer programming
293	Brains for Robots David May Bristol University and XMOS Bristol Add to Reading List Source URL: www.cs.bris.ac.uk Language: English - Date: 2013-01-10 11:57:37 David May Electronic engineering Electronics XMOS Models of computation Transputer Concurrent computing Data parallelism Parallel Random Access Machine Parallel computing Computing Microprocessors
294	Distributed Computation of Transient State Distributions and Passage Time Quantiles in Large Semi-Markov Models Jeremy T. Bradley, Nicholas J. Dingle, Peter G. Harrison, William J. Knottenbelt Department of Computing, Im Add to Reading List Source URL: pubs.doc.ic.ac.uk Language: English - Date: 2007-02-18 10:58:57 Markov models Probability and statistics Markov chain Laplace transform Phase-type distribution Uniformization Semi-Markov process Stochastic matrix Laplace–Stieltjes transform Statistics Mathematical analysis Markov processes
295	PHYSICAL REVIEW B 82, 104522 共2010兲 Analysis of a tunable coupler for superconducting phase qubits Ricardo A. Pinto and Alexander N. Korotkov* Department of Electrical Engineering, University of California, Riversid Add to Reading List Source URL: www.physast.uga.edu Language: English - Date: 2010-12-15 11:27:20 Models of computation Computational complexity theory Information theory Quantum computer Quantum cryptography Quantum gate Quantum circuit Relaxation Qubit Theoretical computer science Quantum information science Applied mathematics
296	&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&& Workshop on Linear Logic Geometry of Interaction, Traced Monoidal Categories and Implicit Complexity &&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&& Add to Reading List Source URL: www.kurims.kyoto-u.ac.jp Language: English - Date: 2011-11-05 07:38:23 Logic in computer science Models of computation Proof theory Philosophical logic Geometry of interaction Denotational semantics Linear logic Mathematical logic Curry–Howard correspondence Theoretical computer science Logic Mathematics
297	PDF Document Add to Reading List Source URL: cgi.csc.liv.ac.uk Language: English - Date: 2008-09-23 06:27:08 Music Automata theory Models of computation Algorithm Mathematical logic Theoretical computer science Formal specification Specification G-code Computing Formal methods Software engineering
298	JMLR: Workshop and Conference Proceedings 34:33–48, 2014 Proceedings of the 12th ICGI A Canonical Semi-Deterministic Transducer Achilles Beros Add to Reading List Source URL: jmlr.org Language: English - Date: 2014-08-26 06:56:50 Complexity classes Models of computation Order theory Automata theory Integer sequences Antichain Finite-state machine FO Function Theoretical computer science Mathematics Applied mathematics
299	Applying Dataflow and Transactions to Lee Routing Chris Seaton, Daniel Goodman, Mikel Luj´an, and Ian Watson University of Manchester {seatonc,goodmand,mikel.lujan,watson}@cs.man.ac.uk Add to Reading List Source URL: www.chrisseaton.com Language: English - Date: 2013-03-27 03:32:35 Concurrent computing Computer architecture Models of computation Parallel computing Software transactional memory Thread Linearizability Concurrent data structure Lock Computing Concurrency control Transaction processing
300	1 Static Specification Mining Using Automata-Based Abstractions Sharon Shoham Add to Reading List Source URL: www.cs.technion.ac.il Language: English - Date: 2008-06-04 09:57:06 Software engineering Computing Abstraction Deterministic finite automaton Abstract interpretation Nondeterministic finite automaton Finite-state machine Automata theory Models of computation Computer science

UPDATE